Browsing by Author "Giua, A."
Now showing items 1-5 of 5
-
Article
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]
Giua, A.; Bullo, F.; Hadjicostis, Christoforos N.; Seatzu, C.; Pasqualetti, F. (2017)
-
Article
Fault model identification and synthesis in Petri nets
Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)Fault identification studies in the Discrete Event Systems literature are typically model-based and require knowledge of the structure of the system, including the nature (and behavior) of the possible faults. In this paper ...
-
Conference Object
Fault model identification with petri nets
Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2008)Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2014)In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...
-
Conference Object
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2008)In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...